Automatic program verification system

[计] 自动程序验证系统

🧩 词语组成解析

automatic ['ɔtə'mætɪk]

adj. 自动的;不假思索的，无意识的;必然发生的; n. 自动化机器或设备;自动手枪;

autom=auto，autom自动+atic有...性质的 → 自动的；机械的

program ['proɡræm]

n. 程序;节目，节目单;计划，安排; v. [计]给…编写程序;为…制定计划;设计安排活动;编排;

pro在前+gram写，图→在前面写好→计划；提纲

verification [,verifi'keiʃən]

n. 证明;证实;<哲>（指通过经验）证明（某命题正确）;核实;

system ['sɪstəm]

n. 体系，系统;制度;身体;方法;

sy(syn-=together)+ste(to stand)→系统；体系；秩序；制度；方法

🗣️ 情景例句

I'm just being a grandfather.

我只是在尽一个爷爷的本份而已。

Will she like it?

她会喜欢它吗？

Haley jumped up and cried, That was my ancestor.

哈利跳起来叫道，“那就是我的祖先。”

更多情景英语 ›

🔤 更多 A 开头的单词

A. T. S.

acting load

agravic

aldredge

almond cookie

annihilations

antimalarial

arbitration and award

全部 A 开头单词 ›